‘Rolling down the River’: Saul Kripke and the Course of Modal Logic
نویسنده
چکیده
We discuss Saul Kripke’s seminal 1963 paper ’Semantical Considerations on Modal Logic’, and sketch subsequent developments in modal logic with a view to their general logical thrust.
منابع مشابه
Semantical Analysis of Modal Logic Ii. Non-normal Modal Propositional Calculi
This paper continues the investigations of Kripke [63]. Not only is Kripke [63] presupposed; the reader is advised to have it on hand for ready reference. The notations and terminology of that paper are used freely; in particular, P, Q, R, ... are atomic formulae, and A, B, 0, ... are arbitrary formulae built from them using the connectives A, ~, O. All propositional calculi in this paper have ...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملNo Fool ' s Cold : Notes on Illusions of Possibility 1
A lot of philosophers are pessimistic about conceivability evidence. They think it doesn't prove, or even go very far towards justifying, interesting modal conclusions. A number of other philosophers are optimistic; they think it does justify, and perhaps even establish beyond a reasonable doubt, that lots of interesting things are possible. Nothing very surprising there. What is slightly surpr...
متن کاملLecture Notes on Noncorrespondence 15-816: Modal Logic
In lecture 7, we have seen how axiomatics and semantics of modal logic fit together in soundness proofs and correspondence proofs. We have seen several examples of classes of Kripke frames that are characterized by formulas of propositional modal logic. These were several special cases. But we are looking for a general correspondence result. Can we find a full correspondence result? For any for...
متن کاملCoalgebraic Modal Logic in CoCasl
We extend the algebraic-coalgebraic specification language CoCasl by full coalgebraic modal logic based on predicate liftings for functors. This logic is more general than the modal logic previously used in CoCasl and supports the specification of a variety of modal logics, such as graded modal logic, majority logic, and probabilistic modal logic. CoCasl thus becomes a modern modal language tha...
متن کامل